#!/bin/bash

tmp=`pwd`

export AVISPA_PACKAGE="$tmp"
export AVISPA_DIRECTORY="$tmp"
export PATH="$PATH:$AVISPA_PACKAGE"
